1. Methods of programming : selected papers on the CIP-project
پدیدآورنده : M. Broy, M. Wirsing )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming
رده :
QA
76
.
L28
Vol
.
544
2. Model-driven development of reliable automotive services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006 : revised selected papers
پدیدآورنده : Broy, M
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Automobiles -- Software -- Design -- Congresses,، Automobiles -- Electronic equipment -- Congresses,، Automotive computers -- Congresses
رده :
TJ
211
.
47
.
M84
2008
3. Program construction : International Summer School
پدیدآورنده : F.L. Bauer...]et al.[; edited by F.L. Bauer, M. Broy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Computer programming
رده :
QA
76
.
L28
Vol
.
69
4. Program construction : international summer school
پدیدآورنده : F. L. Bauer ... )et al.( ; edited by F. L. Bauer and M. Broy
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Addresses, essays, lectures ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
69